Optimal. Leaf size=202 \[ -\frac{i a b \text{PolyLog}\left (2,-\frac{\left (a^2+b^2\right ) e^{2 i \left (c+d x^2\right )}}{(a+i b)^2}\right )}{2 d^2 \left (a^2+b^2\right )^2}+\frac{b \left (2 a d x^2+b\right ) \log \left (1+\frac{\left (a^2+b^2\right ) e^{2 i \left (c+d x^2\right )}}{(a+i b)^2}\right )}{2 d^2 \left (a^2+b^2\right )^2}-\frac{b x^2}{2 d \left (a^2+b^2\right ) \left (a+b \tan \left (c+d x^2\right )\right )}+\frac{\left (2 a d x^2+b\right )^2}{8 a d^2 (a+i b) \left (a^2+b^2\right )}-\frac{x^4}{4 \left (a^2+b^2\right )} \]
[Out]
________________________________________________________________________________________
Rubi [A] time = 0.313916, antiderivative size = 202, normalized size of antiderivative = 1., number of steps used = 6, number of rules used = 6, integrand size = 18, \(\frac{\text{number of rules}}{\text{integrand size}}\) = 0.333, Rules used = {3747, 3733, 3732, 2190, 2279, 2391} \[ -\frac{i a b \text{Li}_2\left (-\frac{\left (a^2+b^2\right ) e^{2 i \left (d x^2+c\right )}}{(a+i b)^2}\right )}{2 d^2 \left (a^2+b^2\right )^2}+\frac{b \left (2 a d x^2+b\right ) \log \left (1+\frac{\left (a^2+b^2\right ) e^{2 i \left (c+d x^2\right )}}{(a+i b)^2}\right )}{2 d^2 \left (a^2+b^2\right )^2}-\frac{b x^2}{2 d \left (a^2+b^2\right ) \left (a+b \tan \left (c+d x^2\right )\right )}+\frac{\left (2 a d x^2+b\right )^2}{8 a d^2 (a+i b) \left (a^2+b^2\right )}-\frac{x^4}{4 \left (a^2+b^2\right )} \]
Antiderivative was successfully verified.
[In]
[Out]
Rule 3747
Rule 3733
Rule 3732
Rule 2190
Rule 2279
Rule 2391
Rubi steps
\begin{align*} \int \frac{x^3}{\left (a+b \tan \left (c+d x^2\right )\right )^2} \, dx &=\frac{1}{2} \operatorname{Subst}\left (\int \frac{x}{(a+b \tan (c+d x))^2} \, dx,x,x^2\right )\\ &=-\frac{x^4}{4 \left (a^2+b^2\right )}-\frac{b x^2}{2 \left (a^2+b^2\right ) d \left (a+b \tan \left (c+d x^2\right )\right )}+\frac{\operatorname{Subst}\left (\int \frac{b+2 a d x}{a+b \tan (c+d x)} \, dx,x,x^2\right )}{2 \left (a^2+b^2\right ) d}\\ &=-\frac{x^4}{4 \left (a^2+b^2\right )}+\frac{\left (b+2 a d x^2\right )^2}{8 a (a+i b) \left (a^2+b^2\right ) d^2}-\frac{b x^2}{2 \left (a^2+b^2\right ) d \left (a+b \tan \left (c+d x^2\right )\right )}+\frac{(i b) \operatorname{Subst}\left (\int \frac{e^{2 i (c+d x)} (b+2 a d x)}{(a+i b)^2+\left (a^2+b^2\right ) e^{2 i (c+d x)}} \, dx,x,x^2\right )}{\left (a^2+b^2\right ) d}\\ &=-\frac{x^4}{4 \left (a^2+b^2\right )}+\frac{\left (b+2 a d x^2\right )^2}{8 a (a+i b) \left (a^2+b^2\right ) d^2}+\frac{b \left (b+2 a d x^2\right ) \log \left (1+\frac{\left (a^2+b^2\right ) e^{2 i \left (c+d x^2\right )}}{(a+i b)^2}\right )}{2 \left (a^2+b^2\right )^2 d^2}-\frac{b x^2}{2 \left (a^2+b^2\right ) d \left (a+b \tan \left (c+d x^2\right )\right )}-\frac{(a b) \operatorname{Subst}\left (\int \log \left (1+\frac{\left (a^2+b^2\right ) e^{2 i (c+d x)}}{(a+i b)^2}\right ) \, dx,x,x^2\right )}{\left (a^2+b^2\right )^2 d}\\ &=-\frac{x^4}{4 \left (a^2+b^2\right )}+\frac{\left (b+2 a d x^2\right )^2}{8 a (a+i b) \left (a^2+b^2\right ) d^2}+\frac{b \left (b+2 a d x^2\right ) \log \left (1+\frac{\left (a^2+b^2\right ) e^{2 i \left (c+d x^2\right )}}{(a+i b)^2}\right )}{2 \left (a^2+b^2\right )^2 d^2}-\frac{b x^2}{2 \left (a^2+b^2\right ) d \left (a+b \tan \left (c+d x^2\right )\right )}+\frac{(i a b) \operatorname{Subst}\left (\int \frac{\log \left (1+\frac{\left (a^2+b^2\right ) x}{(a+i b)^2}\right )}{x} \, dx,x,e^{2 i \left (c+d x^2\right )}\right )}{2 \left (a^2+b^2\right )^2 d^2}\\ &=-\frac{x^4}{4 \left (a^2+b^2\right )}+\frac{\left (b+2 a d x^2\right )^2}{8 a (a+i b) \left (a^2+b^2\right ) d^2}+\frac{b \left (b+2 a d x^2\right ) \log \left (1+\frac{\left (a^2+b^2\right ) e^{2 i \left (c+d x^2\right )}}{(a+i b)^2}\right )}{2 \left (a^2+b^2\right )^2 d^2}-\frac{i a b \text{Li}_2\left (-\frac{\left (a^2+b^2\right ) e^{2 i \left (c+d x^2\right )}}{(a+i b)^2}\right )}{2 \left (a^2+b^2\right )^2 d^2}-\frac{b x^2}{2 \left (a^2+b^2\right ) d \left (a+b \tan \left (c+d x^2\right )\right )}\\ \end{align*}
Mathematica [B] time = 6.5926, size = 460, normalized size = 2.28 \[ \frac{\sec ^2\left (c+d x^2\right ) \left (a \cos \left (c+d x^2\right )+b \sin \left (c+d x^2\right )\right ) \left (-2 a b \left (a \cos \left (c+d x^2\right )+b \sin \left (c+d x^2\right )\right ) \left (a \left (i \text{PolyLog}\left (2,e^{2 i \left (\tan ^{-1}\left (\frac{a}{b}\right )+c+d x^2\right )}\right )-i \left (\pi -2 \tan ^{-1}\left (\frac{a}{b}\right )\right ) \left (c+d x^2\right )-2 \left (\tan ^{-1}\left (\frac{a}{b}\right )+c+d x^2\right ) \log \left (1-e^{2 i \left (\tan ^{-1}\left (\frac{a}{b}\right )+c+d x^2\right )}\right )+2 \tan ^{-1}\left (\frac{a}{b}\right ) \log \left (\sin \left (\tan ^{-1}\left (\frac{a}{b}\right )+c+d x^2\right )\right )-\pi \log \left (1+e^{-2 i \left (c+d x^2\right )}\right )+\pi \log \left (\cos \left (c+d x^2\right )\right )\right )+b \sqrt{\frac{a^2}{b^2}+1} e^{i \tan ^{-1}\left (\frac{a}{b}\right )} \left (c+d x^2\right )^2\right )+2 b^2 d x^2 \left (a^2+b^2\right ) \sin \left (c+d x^2\right )-a \left (a^2+b^2\right ) \left (c-d x^2\right ) \left (c+d x^2\right ) \left (a \cos \left (c+d x^2\right )+b \sin \left (c+d x^2\right )\right )-2 b^2 \left (a \cos \left (c+d x^2\right )+b \sin \left (c+d x^2\right )\right ) \left (b \left (c+d x^2\right )-a \log \left (a \cos \left (c+d x^2\right )+b \sin \left (c+d x^2\right )\right )\right )+4 a b c \left (a \cos \left (c+d x^2\right )+b \sin \left (c+d x^2\right )\right ) \left (b \left (c+d x^2\right )-a \log \left (a \cos \left (c+d x^2\right )+b \sin \left (c+d x^2\right )\right )\right )\right )}{4 a d^2 \left (a^2+b^2\right )^2 \left (a+b \tan \left (c+d x^2\right )\right )^2} \]
Warning: Unable to verify antiderivative.
[In]
[Out]
________________________________________________________________________________________
Maple [F] time = 0.543, size = 0, normalized size = 0. \begin{align*} \int{\frac{{x}^{3}}{ \left ( a+b\tan \left ( d{x}^{2}+c \right ) \right ) ^{2}}}\, dx \end{align*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Maxima [B] time = 1.80823, size = 1362, normalized size = 6.74 \begin{align*} \text{result too large to display} \end{align*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Fricas [B] time = 1.95963, size = 1798, normalized size = 8.9 \begin{align*} \text{result too large to display} \end{align*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Sympy [F] time = 0., size = 0, normalized size = 0. \begin{align*} \int \frac{x^{3}}{\left (a + b \tan{\left (c + d x^{2} \right )}\right )^{2}}\, dx \end{align*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Giac [F] time = 0., size = 0, normalized size = 0. \begin{align*} \int \frac{x^{3}}{{\left (b \tan \left (d x^{2} + c\right ) + a\right )}^{2}}\,{d x} \end{align*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]